退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Horn子句的组合问题
Marina Langlois; Dhruv Mubayi, et al.;
机译:利用喇叭条求解PLC软件的组成验证
机译:在不归纳的情况下解决归纳数据类型的Horn子句– ERRATUM
机译:在没有归纳的归纳数据类型上求解喇叭子句 - 错误
机译:使用horn子句和二进制决策图进行程序分析。
机译:除了两个条款判决之外:收购六种语言的子句
机译:使用线性Horn子句求解器求解非线性Horn子句
机译:通过将变量嵌入自然语言而获得的构成文学的喇叭声的计算机程序,方法和装置
机译:子句分类设备,子句分类方法,以及子句分类计划
机译:人类语言分析器,用于检测条款,条款类型和条款关系
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。